Skip to content

Commit

Permalink
Updating: very very minorly
Browse files Browse the repository at this point in the history
  • Loading branch information
@githwxi
githwxi committed Aug 2, 2023
1 parent 62135c9 commit a130c0f
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions srcgen2/DATS/trans3a_staexp.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,12 @@ end where // end-of-let
(* ****** ****** *)
//
(*
(*
HX-2023-08-02:
Not for now!!!
This is to be done at
dependent type-checking
*)
fun
f0_var
( env0:
Expand Down

0 comments on commit a130c0f

Please sign in to comment.