Skip to content
Snippets Groups Projects
Normal view Permalink
gradual-typing-sgdt.agda-lib 53 B
Newer Older
  • Learn to ignore specific revisions
    • Max New's avatar
    more work on prose, organize the formalizations and init guarded cubical version
    Max New committed
    1 2 3 
    name: gradual-typing-sgdt
include: .
depend: cubical