Groups

Idris Programming Language

1–30 of 1738

0 selected

Jan 12

TYPES 2026: Deadline Extension and Final Call for Contributions

Submission of abstracts has been extended until January 20 (AoE): <https://types-hotcrp.paris.

unread,

TYPES 2026: Deadline Extension and Final Call for Contributions

Submission of abstracts has been extended until January 20 (AoE): <https://types-hotcrp.paris.

Jan 12

Thomas E. Hansen

11/18/25

Community Survey (Idris: TyDD for the Real World)

Hello everyone, Edwin and I are running a survey on how people are using Idris. If you have a bit of

unread,

Community Survey (Idris: TyDD for the Real World)

Hello everyone, Edwin and I are running a survey on how people are using Idris. If you have a bit of

11/18/25

10/20/25

TYPES 2026 Call for Contributions

TL;DR Submit your TYPES 2026 abstract by 12th January 2026 to <https://types-hotcrp.paris.inria.fr

unread,

TYPES 2026 Call for Contributions

TL;DR Submit your TYPES 2026 abstract by 12th January 2026 to <https://types-hotcrp.paris.inria.fr

10/20/25

3/28/25

[Update: submission deadline extended to 9 April] ===================================================

unread,

[Update: submission deadline extended to 9 April] ===================================================

3/28/25

9/24/24

Nix build problem

Hi, I've been experimenting with the Nix templates to figure out how to build an Idris2 project

unread,

Nix build problem

Hi, I've been experimenting with the Nix templates to figure out how to build an Idris2 project

9/24/24

9/20/24

39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg

---------------------------------------------------------------------- Agda Implementors' Meeting

unread,

39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg

---------------------------------------------------------------------- Agda Implementors' Meeting

9/20/24

7/2/24

Last call for participation: SPLV 2024

================================================================== Scottish Programming Languages and

unread,

Last call for participation: SPLV 2024

================================================================== Scottish Programming Languages and

7/2/24

Guillaume Allais

6/6/24

Call for Participation: Scottish PL & Verification Summer School

================================================================== Scottish Programming Languages and

unread,

Call for Participation: Scottish PL & Verification Summer School

================================================================== Scottish Programming Languages and

6/6/24

Karolis Petrauskas

6/4/24

Feedback from lectures at VU

Hello! Thank you for developing such a great dependently-typed language. This year, we conducted a

unread,

Feedback from lectures at VU

Hello! Thank you for developing such a great dependently-typed language. This year, we conducted a

6/4/24

3/25/24

TyDe 2024: First call for papers and extended abstracts

========================================================================= The Ninth International

unread,

TyDe 2024: First call for papers and extended abstracts

========================================================================= The Ninth International

3/25/24

jonas.cl, Dr. Jan Bessai3

3/22/24

Formally verified Idris backend

Thanks for the very elaborate answer! I guess that you are right that at this time formal

unread,

Formally verified Idris backend

Thanks for the very elaborate answer! I guess that you are right that at this time formal

3/22/24

Madison Friskney

12/7/23

Microsoft Office 2016 Activator Toolkit

This toolkit has various equipment that is useful in the activation of Microsoft Windows Vista,

unread,

Microsoft Office 2016 Activator Toolkit

This toolkit has various equipment that is useful in the activation of Microsoft Windows Vista,

12/7/23

12/7/23

Cd Teacher Top Notch 1 Activebook 35 Antivirenschutz Hoch

Cd Teacher Top Notch 1 Activebook 35 antivirenschutz hoch Download File https://t.co/yvyMGNknCj

unread,

Cd Teacher Top Notch 1 Activebook 35 Antivirenschutz Hoch

Cd Teacher Top Notch 1 Activebook 35 antivirenschutz hoch Download File https://t.co/yvyMGNknCj

12/7/23

12/7/23

AtithiTumKabJaogeMovieFullDownloadl

AtithiTumKabJaogeMovieFullDownloadl DOWNLOAD https://t.co/4newtuHHzw eebf2c3492

unread,

AtithiTumKabJaogeMovieFullDownloadl

AtithiTumKabJaogeMovieFullDownloadl DOWNLOAD https://t.co/4newtuHHzw eebf2c3492

12/7/23

Madison Friskney

12/7/23

Kader Gulmeyince Arzu Aycan Hakan Ozer Pornosul

Kader Gulmeyince Arzu Aycan Hakan Ozer Pornosul Download https://t.co/oa3bdduaOT eebf2c3492

unread,

Kader Gulmeyince Arzu Aycan Hakan Ozer Pornosul

Kader Gulmeyince Arzu Aycan Hakan Ozer Pornosul Download https://t.co/oa3bdduaOT eebf2c3492

12/7/23

12/7/23

AVG Antivirus Pro 2019 19.3 Build 6089 (x86x64) Multilingual Crack

Message Sujet du message: Vladmodel Veronica W006-adds. Posté: Mer 27 Avr 2016 00:02. Spoiler: -

unread,

AVG Antivirus Pro 2019 19.3 Build 6089 (x86x64) Multilingual Crack

Message Sujet du message: Vladmodel Veronica W006-adds. Posté: Mer 27 Avr 2016 00:02. Spoiler: -

12/7/23

12/7/23

Certificates Templates For Pages 1.2 MAC OS X

Setting the policy lets you make a list of URL patterns that specify sites for which Microsoft Edge

unread,

Certificates Templates For Pages 1.2 MAC OS X

Setting the policy lets you make a list of URL patterns that specify sites for which Microsoft Edge

12/7/23

Madison Friskney

12/7/23

Dream Aquarium 1.2601 Crack

Dream Aquarium 1.2601 crack DOWNLOAD https://t.co/oOv5GP0g7U eebf2c3492

unread,

Dream Aquarium 1.2601 Crack

Dream Aquarium 1.2601 crack DOWNLOAD https://t.co/oOv5GP0g7U eebf2c3492

12/7/23

12/7/23

Descargar Poweramp Full Version Unlocker Sin Ser Root

Así que esto se trata de la versión completa de Poweramp APK 2023 y esperamos que pueda descargar la

unread,

Descargar Poweramp Full Version Unlocker Sin Ser Root

Así que esto se trata de la versión completa de Poweramp APK 2023 y esperamos que pueda descargar la

12/7/23

Madison Friskney

12/7/23

Aecosim Building Designer V8i 209

aecosim building designer v8i 209 Download Zip https://t.co/4kosg8BcJx eebf2c3492

unread,

Aecosim Building Designer V8i 209

aecosim building designer v8i 209 Download Zip https://t.co/4kosg8BcJx eebf2c3492

12/7/23

Madison Friskney

12/7/23

Porque No Puedo Entrar A Hi5

Hi5 es una red social enfocada en jóvenes con la intención de conocer y concertar citas. Puedes

unread,

Porque No Puedo Entrar A Hi5

Hi5 es una red social enfocada en jóvenes con la intención de conocer y concertar citas. Puedes

12/7/23

12/7/23

Get Carter Torrent

Downloading torrents is risky for you: your IP and leaked private data being actively tracked by your

unread,

Get Carter Torrent

Downloading torrents is risky for you: your IP and leaked private data being actively tracked by your

12/7/23

12/7/23

Malfoozat E Mehria Pdf Download

Internet Explorer: To download the book, right click the link and then click on "Save Target As.

unread,

Malfoozat E Mehria Pdf Download

Internet Explorer: To download the book, right click the link and then click on "Save Target As.

12/7/23

12/7/23

Design Review 2015 Portable [g8ni 92]

fb6c851797 -adobe-animate-cc-2017-v16-1-0-x64-incl-crack-sadeempc-top -decompression-failed-with-

unread,

Design Review 2015 Portable [g8ni 92]

fb6c851797 -adobe-animate-cc-2017-v16-1-0-x64-incl-crack-sadeempc-top -decompression-failed-with-

12/7/23

12/7/23

Yodot Rar Repair Serial Number

Step 1: In Windows system, press Windows and R keys together, type %LocalAppData%\Temp and hit OK.

unread,

Yodot Rar Repair Serial Number

Step 1: In Windows system, press Windows and R keys together, type %LocalAppData%\Temp and hit OK.

12/7/23

12/7/23

Autodesk AutoCAD V2007 Keymaker Only By ZWT

Autodesk AutoCAD v2007 Keymaker Only by ZWT Download Zip https://t.co/v4dNtGKVoI eebf2c3492

unread,

Autodesk AutoCAD V2007 Keymaker Only By ZWT

Autodesk AutoCAD v2007 Keymaker Only by ZWT Download Zip https://t.co/v4dNtGKVoI eebf2c3492

12/7/23

Madison Friskney

12/7/23

Step By Step Mri Book Pdf

Realizing the important role of MRI in the field of Imageology without the effects of radiation, an

unread,

Step By Step Mri Book Pdf

Realizing the important role of MRI in the field of Imageology without the effects of radiation, an

12/7/23

Madison Friskney

12/7/23

Instructional Fair Ts Denison Answer Key

Instructional Fair Ts Denison Answer Key Download https://t.co/wLhGkKxGUY eebf2c3492

unread,

Instructional Fair Ts Denison Answer Key

Instructional Fair Ts Denison Answer Key Download https://t.co/wLhGkKxGUY eebf2c3492

12/7/23

andre....@gmail.com, goe...@gmail.com3

8/8/23

Idris Developer Meeting August 2023

Hello to everyone, Was just reading through Idris-Developer-Meeting notes https://github.com/idris-

unread,

Idris Developer Meeting August 2023

Hello to everyone, Was just reading through Idris-Developer-Meeting notes https://github.com/idris-

8/8/23

Alex MárquezPérezMuñízDíazPurasThaureauxFagúndo (Alex)

5/7/23

Data structure implementation tips/pointers

Hey all, I've almost finished laying down the foundations of a non-VonNeuman, non-Harvard ternary

unread,

Data structure implementation tips/pointers

Hey all, I've almost finished laying down the foundations of a non-VonNeuman, non-Harvard ternary

5/7/23

Search

Clear search

Close search

Google apps

Main menu