| 6 Jul 2022 |
 pomone08 | Yes, but I would have to add some sort of default case for open label types | 15:59:49 |
| pomone08 | Then something like :one can be typed as {one ..} | 16:00:42 |
| pomone08 | It's a space worth looking into imo but I am going to have to move on to compilation now | 16:01:15 |
| pomone08 | I don't remove x from the context because x might appear free in the body of the eliminator in some form | 16:02:35 |
| pomone08 | And in that case it needs to be typed as if it wasn't constrained in the context | 16:02:55 |
 Gabriel Barreto | You could write a transpiler to chez scheme | 16:04:18 |
| pomone08 | Yes, I am still experimenting a lot with this system and there are so many things that I want to do with it | 16:05:10 |
| pomone08 | I am suspecting it might even type Elixir terms | 16:05:19 |
| pomone08 | With a dependently typed system | 16:05:29 |
| pomone08 | I've already proposed in my masters project a wasm compiler so I'm going to have to keep going in this direction 😅 | 16:07:26 |
| 24 Jul 2022 |
 John Chandler Burnham | @room We have set up the new Zulip server at zulip.yatima.io, but the mail server isn't currently working properly and hasn't been able to send everyone the password reset email. However, if you go to zulip.yatima.io and reset your password manually you should be able to get the reset email and log in that way.
We also have a new invite link here if you haven't previously made an account: https://zulip.yatima.io/join/cukxo2okbhgkioilww6tn6t4/ | 20:05:57 |
| 29 Jul 2022 |
|  @sis3020:matrix.org joined the room. | 07:31:05 |
| @sis3020:matrix.org | Redacted or Malformed Event | 07:31:06 |
| @sis3020:matrix.org left the room. | 09:12:56 |
| John Chandler Burnham banned @sis3020:matrix.org (spam). | 13:16:44 |
| 10 Aug 2022 |
|  @le1039dxl12:matrix.org joined the room. | 06:13:21 |
| @le1039dxl12:matrix.org | Redacted or Malformed Event | 06:13:22 |
| @le1039dxl12:matrix.org left the room. | 11:03:10 |
| 29 Aug 2022 |
|  amarr.industrial joined the room. | 01:29:58 |
| 12 Sep 2022 |
|  ilmu joined the room. | 01:47:11 |
| 19 Sep 2022 |
|  @cw:kernelpanic.cafe left the room. | 03:03:32 |
| 24 Oct 2022 |
|  @aflatter:matrix.org left the room. | 17:57:31 |
| 6 Nov 2022 |
|  Sam Estep (he/him) changed their profile picture. | 19:16:37 |
| 20 Nov 2022 |
|  @zx:matrix.org left the room. | 16:33:48 |
| 19 Dec 2022 |
|  @laszlokorte:matrix.org removed their display name laszlokorte. | 23:31:44 |
| @laszlokorte:matrix.org left the room. | 23:32:26 |
| 29 Dec 2022 |
|  @tamaxii:nitro.chat joined the room. | 12:48:40 |
| @tamaxii:nitro.chat left the room. | 12:49:39 |
| 20 Feb 2023 |
|  @mixis:bau-ha.us set a profile picture. | 18:09:10 |
| 7 Mar 2023 |
|  s.d.d. joined the room. | 16:21:03 |
