An electronic circuit simulator using Idris