5
7
1
0
[Git][monnier/typer][master] * src/opslexp.ml (check'): Fix handling of erasable datatype args.
by Stefan 06 Aoû '17
by Stefan 06 Aoû '17
06 Aoû '17
1
0
1
0
[Git][monnier/typer][master] * src/elab.ml (elaborate): Explain lack of typer-funcall
by Stefan 03 Aoû '17
by Stefan 03 Aoû '17
03 Aoû '17
1
0
[Git][monnier/typer][master] 2 commits: * src/elab.ml: Make `elaborate` the core function
by Stefan 03 Aoû '17
by Stefan 03 Aoû '17
03 Aoû '17
1
0
[Git][monnier/typer][master] * src/elab.ml: Make symbols into shorthands for `typer-identifier SYM`
by Stefan 03 Aoû '17
by Stefan 03 Aoû '17
03 Aoû '17
1
0