"Super Haskell": an introduction to Agda by André Muricy
Func Prog Sweden
•
October 11, 2023
Func Prog Sweden
View ChannelAbout
No channel description available.
Latest Posts
Must-Have DJI Mini SE Accessories
AI-recommended products based on this video
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
NEEWER a6700 L Plate Compatible with Sony Alpha 6700, Quick Switch Aluminum Extendable Side Plate & Anti Twist Baseplate Compatible with Arca Swiss QR System DJI RS 2 RSC 2 RS 3 Pro Gimbals, CA048
(24)
$25.99
FREE delivery Thu, Jun 19 on your first order
Loading...
DJI Osmo Action 4 Standard Combo, 4K/120fps Waterproof Action Camera with a 1/1.3-Inch Sensor, Stunning Low-Light Imaging,10-bit & D-Log M Color Performance, Long-Lasting 160 Mins, Outdoor Camera
(3,962)
299.00
PrimeFREE delivery Saturday, June 14
500+ bought in past month
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
Best Seller
DJI Mic Mini (2 TX + 1 RX), Detail-Rich Audio, Wireless Lavalier Microphone for Camera/Android, 2-Person Vlog, Team Production
(59)
$99.00
FREE delivery Tue, Oct 7
500+ bought in past month
Loading...
EasySMX X05 Pro Wireless PC Controller, Upgraded 2-Stage Triggers，Mute Buttons，Hall Joysticks，1000Hz Polling, 8-Way D-Pad, 1000mAh Battery, Multi-Platform Controller for PC/Switch/Android/iOS, Black
(123)
$35.99
FREE delivery Sat, Nov 22
300+ bought in past month
Loading...
AMVR Upgraded Controller Grips Cover Compatible with Meta/Oculus Quest 3S/ 3 Accessories, with Battery Opening Cover and Knuckle Straps Protector(Not for Charging Dock) (Common Size)
(2,897)
$39.99
FREE delivery Tue, Jun 17
100+ bought in past month
Loading...
GMKtec Mini PC, Intel N150 (Upgraded N100) 3.6GHzW11 Pro, Mini Desktop Computer 16GB DDR4 RAM 512GB PCIe M.2 SSD, 4K Dual HDMI/USB3.2/WiFi 6/BT5.2/2.5GbE RJ45 Black
(151)
$236.99
FREE delivery Sun, Aug 10
Loading...
GMKtec Mini PC, Intel N150 (Upgraded N100) 3.6GHzW11 Pro, Mini Desktop Computer 16GB DDR4 RAM 512GB PCIe M.2 SSD, 4K Dual HDMI/USB3.2/WiFi 6/BT5.2/2.5GbE RJ45 Black
(151)
$239.99
Prime