Skip to content

issues Search Results · repo:jonsterling/dreamtt language:OCaml

Filter by

9 results
 (47 ms)

9 results

injonsterling/dreamtt (press backspace or delete to remove)

  • jonsterling
  • Opened 
    on Apr 5, 2021
  • #14

- https://github.com/RedPRL/cooltt/blob/master/src/core/TermBuilder.mli - https://github.com/RedPRL/cooltt/blob/master/src/core/Splice.mli
  • jonsterling
  • Opened 
    on Apr 5, 2021
  • #13

https://github.com/RedPRL/cooltt/blob/master/src/core/Tactic.ml#L95
  • jonsterling
  • Opened 
    on Apr 5, 2021
  • #12

Want to add a theory like in cooltt, so that we can experiment with phase distinctions as well as other things.
  • jonsterling
  • Opened 
    on Mar 31, 2021
  • #9

Right now, this is only an elaborator; there is no notion of top-level declaration, and no parser.
  • jonsterling
  • Opened 
    on Mar 25, 2021
  • #6

A related warning in dreamtt.opam when adding the package: error 22: Some fields are present but empty; remove or fill them: license
  • anqurvanillapy
  • Opened 
    on Mar 25, 2021
  • #4

  • jonsterling
  • Opened 
    on Oct 15, 2020
  • #3

Export the syntax representation, and allow it to be projected from the abstract types, but only in one direction. This maintains abstraction, but allows the external implementation of (e.g.) pretty printers, ...
  • jonsterling
  • Opened 
    on Oct 15, 2020
  • #2

  • jonsterling
  • Opened 
    on Oct 15, 2020
  • #1
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub