Newest at the top
| 2024-05-07 20:55:48 +0200 | <monochrom> | And they teach calculi of constructions. |
| 2024-05-07 20:55:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-07 20:55:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-07 20:54:46 +0200 | <monochrom> | But you first learn what it should look like to users (the specification) before there is anything to implement for. |
| 2024-05-07 20:53:53 +0200 | <disgrunt> | monochrom: I'm interested in implementing something like Coq or Lean and not using it. |
| 2024-05-07 20:52:35 +0200 | <monochrom> | Because every book that says "lambda calculus" in the title is heading to somewhere else right after the basic (the first 10%). |
| 2024-05-07 20:52:19 +0200 | <ncf> | maybe https://kar.kent.ac.uk/20998/1/ttfp.pdf |
| 2024-05-07 20:51:07 +0200 | <monochrom> | or the official book for Agda. |
| 2024-05-07 20:50:45 +0200 | <monochrom> | Go straight to setting yourself up for calculi of constructions: Read the official book for Coq or the official book for Lean. |
| 2024-05-07 20:49:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-07 20:48:27 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-07 20:47:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-07 20:47:39 +0200 | euleritian | (~euleritia@dynamic-176-004-187-187.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-07 20:43:57 +0200 | phma | (phma@2001:5b0:211f:8748:d5d8:f6f:3f3d:8bcc) (Read error: Connection reset by peer) |
| 2024-05-07 20:43:31 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) |
| 2024-05-07 20:42:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-07 20:42:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-07 20:40:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-07 20:40:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-07 20:38:53 +0200 | <disgrunt> | This is less a Haskell question and more a general knowledge of lambda calculus (hopefully to understand and implement a calculus of constructions): Is there a good book that can teach the theory and notation to a skilled procedural language programmer? |
| 2024-05-07 20:38:51 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 268 seconds) |
| 2024-05-07 20:37:36 +0200 | euleritian | (~euleritia@dynamic-176-004-187-187.176.4.pool.telefonica.de) |
| 2024-05-07 20:37:12 +0200 | disgrunt | (~disgrunt@129.176.64.49) |
| 2024-05-07 20:36:41 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-07 20:36:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-05-07 20:34:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-07 20:33:59 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-07 20:33:00 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-07 20:30:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-07 20:30:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-07 20:29:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-07 20:28:03 +0200 | aforemny_ | (~aforemny@2001:9e8:6ccc:2700:d136:8946:ee2b:ef44) (Ping timeout: 268 seconds) |
| 2024-05-07 20:27:43 +0200 | aforemny | (~aforemny@i59F516ED.versanet.de) |
| 2024-05-07 20:27:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-07 20:25:46 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-07 20:22:21 +0200 | mei | (~mei@user/mei) |
| 2024-05-07 20:20:23 +0200 | todi1 | todi |
| 2024-05-07 20:19:58 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-05-07 20:19:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-07 20:19:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-07 20:18:30 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-07 20:17:15 +0200 | aforemny | (~aforemny@2001:9e8:6ccb:f700:5472:d92b:ff7e:d848) (Ping timeout: 256 seconds) |
| 2024-05-07 20:16:48 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
| 2024-05-07 20:16:16 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-07 20:16:00 +0200 | aforemny_ | (~aforemny@2001:9e8:6ccc:2700:d136:8946:ee2b:ef44) |
| 2024-05-07 20:14:51 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
| 2024-05-07 20:14:41 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-05-07 20:13:15 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-07 20:12:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-07 20:12:40 +0200 | madariaga | (~madariaga@user/madariaga) |