Idris Programming Language

Contact owners and managers

1–30 of 1734

0 selected

Sep 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

Sep 24

Sep 20

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

Sep 20

Jul 2

Last call for participation: SPLV 2024

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

unread,

Last call for participation: SPLV 2024

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

Jul 2

Guillaume Allais

Jun 6

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

Jun 6

Karolis Petrauskas

Jun 4

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

Jun 4

Mar 25

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

Mar 25

jonas.cl, Dr. Jan Bessai3

Mar 22

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

Mar 22

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

4/20/23

3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield

Dear colleagues, We have an opening for a 3-year position of either research associate or research

unread,

3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield

Dear colleagues, We have an opening for a 3-year position of either research associate or research

4/20/23

Daniel Hillerström3

3/30/23

[CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP)

Notification of acceptance: June 29, 2023 (Thursday) Hopefully there are no more silly typos :-)) On

unread,

[CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP)

Notification of acceptance: June 29, 2023 (Thursday) Hopefully there are no more silly typos :-)) On

3/30/23

Bohdan Liesnikov

3/24/23

Agda Implementors' Meeting XXXVI: Call for talks and participation

The thirty-sixth Agda Implementors' Meeting will take place in Delft, NL from Wednesday, 2023-05-

unread,

Agda Implementors' Meeting XXXVI: Call for talks and participation

The thirty-sixth Agda Implementors' Meeting will take place in Delft, NL from Wednesday, 2023-05-

3/24/23

3/9/23

PhD or Postdoc Position at LMU Munich about Verified Modal Logics

We are looking for a PhD student (4 years) or postdoctoral researcher (3 years) to work on the

unread,

PhD or Postdoc Position at LMU Munich about Verified Modal Logics

We are looking for a PhD student (4 years) or postdoctoral researcher (3 years) to work on the

3/9/23

Search

Clear search

Close search

Google apps

Main menu