]>
author | Julien Moutinho <julm@sourcephile.fr> | |
Wed, 27 Sep 2023 23:48:22 +0000 (01:48 +0200) | ||
committer | Julien Moutinho <julm@sourcephile.fr> | |
Wed, 27 Sep 2023 23:48:32 +0000 (01:48 +0200) | ||
commit | ec985a3aa9f2fb040fdfe4c8ef22936508389f7d | |
tree | 9a8ee794ae6dd4cb16e1fca1959e772b5da84000 | tree | snapshot |
parent | 4a78205609be221cb1cd1356b8d413368ed984a7 | commit | diff |
src/Symantic/Semantics/Forall.hs | diff | blob | history |